Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
41	An Integrated Modal Approach to Rational Agents W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:34 Artificial intelligence Science Philosophical logic Multi-agent systems Game theory Action theory Kripke semantics Dynamic logic Intelligent agent Logic Mathematical logic Modal logic
42	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2009-01-28 11:49:26 Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic Modal logic
43	Possible Worlds, Belief, and Modal Logic: a Tutorial Anthony H. Dekker∗ October 5, 2004 1 Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2004-10-04 23:29:25 Modal logic Epistemic modal logic Doxastic logic Entailment Epistemology Possible world Truth Kripke semantics Mereology Logic Mathematical logic Philosophical logic
44	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics
45	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
46	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:06:26 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
47	Pattern Logics and Auxiliary Relations Diego Figueira Leonid Libkin University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:09:13 Mathematical logic Structure Finite model theory FO Kripke semantics String First-order logic Interpretation Theory Logic Model theory Mathematics
48	When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:18:09 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
49	/media/Cruzer/mandriva/facs12/ipg-encoding-4.fig Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-02-18 22:56:06 Entailment Logical consequence Metalogic Preference Credential Kripke semantics Client–server model Logic Philosophical logic Deduction
50	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic